Proposition 5.1.7
If is a unital -algebra, then is an order unit for . Proof: Let be given. By the standard picture of of a unital -algebra we can find projections for some such that . Let denote the unit of , and write instead of . Then and belong to . Hence